PCP-based Solution for Resource Sharing in Reconfigurable Timed Net Condition/Event Systems

This research paper deals with reconfigurable discrete-event control systems which are distributed on networked devices to execute control software tasks with shared resources. A reconfiguration scenario is also assumed to be any addition, removal or update of tasks and shared resources. Nevertheless, the addition of resources at run-time can bring the system to a blocking problem that is sometimes unsafe. We propose to enrich the formalism Reconfigurable Timed Net Condition/Event Systems (R-TNCES) with the well-known protocol Priority Ceiling Protocol (PCP) in order to model and verify safety reconfiguration scenarios. The paper is applied to a study case illustrating our contribution.